Types are weak omega-groupoids

We define a notion of weak omega-category internal to a model of Martin-L\"of type theory, and prove that each type bears a canonical weak omega-category structure obtained from the tower of iterated identity types over that type. We show that the omega-categories arising in this way are in fact omega-groupoids.Comment: 28 pages; v2: final journal versio

Methods and standards development for three-dimensional mapping of the Antioch Quadrangle, Lake County, Illinois a pilot study

The Pilot Study for the Central Great Lakes Geologic Mapping Coalition (CGLGMC) focused on the Antioch Quadrangle, Lake County, Illinois developing a series of maps and digital products, several protocols for database development and maintenance and field procedures to acquire and integrate drilling and geophysical data from a quadangle area featuring complex glacial geology over a 25,000 year period.U.S. Geological Survey, Central Great Lakes Geologic Mapping CoalitionOpe

The Threatened Status of Steller Sea Lions, Eumetopias jubatus, under the Endangered Species Act: Effects on Alaska Groundfish Fisheries Management

In April 1990, the Steller sea lion, Eumetopias jubatus, was listed as threatened under the U.S. Endangered Species Act by emergency action. Competitive interactions with the billion-dollar Alaska commercial groundfish fisheries have been suggested as one of the possible contributing factors to the Steller sea lion population decline. Since the listing, fisheries managers have attempted to address the potential impacts of the groundfish fisheries on Steller sea lion recovery. In this paper, we review pertinent Federal legislation, biological information on the Steller sea lion decline, changes in the Alaska trawl fishery for walleye pollock, Theragra chalcogramma, since the late 1970's, andpossible interactions between fisheries and sea lions. Using three cases, we illustrate how the listing of Steller sea lions has affected Alaska groundfish fisheries through: I) actions taken at the time of listing designed to limit the potential for directhuman-related sea lion mortality, 2) actions addressing spatial and temporal separation of fisheries from sea lions, and 3) introduction of risk-adverse stock assessment methodologies and Steller sea lion conservation considerations directly in the annual quota-setting process. This discussion shows some of the ways that North Pacific groundfish resource managers have begun to explicitly consider the conservation ofmarine mammal and other nontarget species

Analysis of a polling system modeling QoS differentiation in WLANs

This paper investigates a polling system with a random polling scheme, a 1-limited service discipline and deterministic service requirement modeling WLANs with QoS differentation capability. The system contains high and low priority queues that are distinguished via the probability of being served next. We propose a new iteration algorithm to approximate the waiting time of customers in the high and low priority queues. As shown by simulation results, our approximation is accurate for light to moderately loaded networks

The living workplace : a conscious work environment for a small publishing company

Thesis (M. Arch.)--Massachusetts Institute of Technology, Dept. of Architecture, 1986.MICROFICHE COPY AVAILABLE IN ARCHIVES AND ROTCH.Includes bibliographies.This thesis is about the oneness of working and living, and about the making of workplaces that support and encourage the idea that one's work can be an integral part of one's life. The opening position is that there is a "paradigm shift" occurring in our society which influences the way that we think about our work in relation to our lives. Rather than experiencing work as a separate entity in time and space from our home life, work can be fully engaged in our lives; an activity that requires us and interests us, which helps us to find meaning and makes us care. Our friends and families can know our work and spend time with us in our workplace. Our personalities and actions can be both similar and complimentary in the work environment and the home environment. The search in this thesis is for ways of making work environments that acknowledge our current culture, society, and technology, yet respond to and support this "new" way of working and living. This search involves an investigation into working and workplaces in pre-industrial and early industrial times: an analysis of how ·people worked and how they interacted with the settings in which they worked. This analysis provides clues which are then used to propose ways that a modern building might support an integrated attitude about living and working. The design project is for a small office building in Cambridge, Massachusetts for Linguistics International, a publisher of foreign language and computer science college textbooks, currently based in Boston. Linguistics is a suitable subject for this project for several reasons: books--information-are an important icon of our times and for our society; editing/publishing is a creative process; perhaps most importantly, the project addresses the design of white-collar office work and the office environment, the most common type of workplace in our information-based economy.by Richard Carl Berg.M.Arch

The role of the mass media in the publicity program of the Boston Public Schools.

Thesis (M.S.)--Boston University N.B: Questionnaires on pages 106 and 107 are missing

Application of sensors in an experimental investigation of mode dampings

The subject of this investigation is the method of calculating material damping of a cantilever beam. Damping is the mechanism by which the vibrational energy is gradually converted into heat or sound. The loss factor, otherwise known as the damping factor, is part of the global properties of a structure which can be identified from its frequency response measurements. Experimental frequency response measurements require three main components: a source of excitation, sensors, and analyzer. It is the objective of this thesis to investigate the effect of different types of exciters and sensors on the frequency response measurement of the cantilever beam and consequently on the loss factor estimate of the cantilever beam. Two sources of excitations and four types of sensors are considered. Discussion of the results, comments and recommendations about the different techniques are presented

Thermoinsulating Media Within Embankments On Perennially-Frozen Soil

Thesis (Ph.D.) University of Alaska Fairbanks, 197